A deadlock prevention policy for a class of timed Petri nets based on transition priority
نویسندگان
چکیده
Petri nets have been recognized as a powerful, graphical, and mathematical tool and widely used to model flexible manufacturing systems (FMS). To solve the problem of deadlock prevention for timed Petri nets (TdPN), an effective deadlock prevention policy based on the transition priority is presented in this poster. By analyzing reachability graphs of TdPN, a new class of TdPN named TdS 3 PRC is defined. Three algorithms are proposed based on a new definition named timed Petri nets with priorities (TdPNWP). Algorithm 1, named C-class algorithm, is used for judging whether a TdS 3 PR is a TdS 3 PRC. Algorithm 2, named C-free algorithm, makes a TdS 3 PRC deadlock-free. And algorithm 3, named C-live algorithm, makes a TdS 3 PRC live. Finally, a parameterized example is used for demonstrating the application of the proposed policy.
منابع مشابه
A rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers
This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...
متن کاملUsing Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کاملElementary Siphons of Petri Nets and Deadlock Control in FMS
For responsiveness, in the Petri nets theory framework deadlock prevention policies based elementary siphons control are often utilized to deal with deadlocks caused by the sharing of resources in flexible manufacturing system (FMS) which is developing the theory of efficient strict minimal siphons of an S3PR. Analyzer of Petri net models and their P-invariant analysis, and deadlock control are...
متن کاملSymbolic Analysis of Timed Petri Nets
In timed Petri nets temporal properties are associated with transitions as transition firing times (or occurrence times). Specific properties of timed nets, such as boundedness or absence of deadlocks, can depend upon temporal properties and sometimes even a small change of these properties has a significant effect on the net’s behavior (e.g., a bounded net becomes unbounded or vice versa). The...
متن کاملDeadlock Control in Generalized Petri Nets
This chapter proposes a number of deadlock prevention polices for a class of generalized Petri nets, namely G-systems, which is usually considered to be the most generalized Petri nets that can model Flexible Manufacturing Systems (FMSs) with machining, assembly, and disassembly operations. First, a deadlock prevention policy based on elementary siphons theory is presented, which indicates that...
متن کامل